automating reasoning

《英汉医学词典》automating reasoning
自动推论